<?php
echo exec("git pull origin master");
